Situated conditional reasoning

Conditionals are useful for modelling, but not always sufficiently expressive capturing information accurately. In this paper we make the case a form of conditional that is situation-based. These conditionals more than classical conditionals, general enough to be used in several application domains, and able distinguish, example, between expectations counterfactuals. Formally, they shown generalise setting style Kraus, Lehmann, Magidor. We show situation-based can described terms set rationality postulates. then propose an intuitive semantics these present representation result which shows our semantic construction corresponds exactly description With place, proceed define entailment situated knowledge bases, refer as minimal closure. It reminiscent and, indeed, inspired by, version propositional bases known rational Finally, it possible reduce computation closure series satisfiability checks. While also closure, somewhat surprising carries over